[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 415 256 3114 0 588 0 4112 0

N.S.

1 1.59 0.98 11.93 0.00 2.25 0.00 15.75 0.00

time (sec)

N/A 1.254 0.211 1.247 0.000 0.317 0.000 0.425 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

135 136 144 734 0 263 0 1218 0

N.S.

1 1.01 1.07 5.44 0.00 1.95 0.00 9.02 0.00

time (sec)

N/A 0.354 0.056 0.451 0.000 0.312 0.000 0.333 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 703 95 22 26 26

N.S.

1 1.00 1.08 1.00 29.29 3.96 0.92 1.08 1.08

time (sec)

N/A 0.188 0.344 0.023 0.299 0.296 6.422 0.328 1.278

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 934 153 24 26 26

N.S.

1 1.00 1.08 1.00 38.92 6.38 1.00 1.08 1.08

time (sec)

N/A 0.193 2.719 0.026 0.302 0.313 35.271 0.346 1.292

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

404 404 374 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.061 0.398 0.000 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

255 255 235 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.637 0.207 0.000 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 109 106 0 0 0 0 0 0

N.S.

1 0.98 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.028 0.000 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 22 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.85 1.00 1.00

time (sec)

N/A 0.197 3.579 0.119 0.586 0.000 0.537 0.354 1.266

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 24 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.92 1.00 1.00

time (sec)

N/A 0.310 0.300 0.146 0.595 0.000 1.871 0.339 1.381

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 24 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.92 1.00 1.00

time (sec)

N/A 0.398 0.317 0.163 0.598 0.000 8.446 0.357 1.371

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

526 526 446 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.220 0.789 0.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

330 330 282 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.749 0.309 0.000 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 140 127 0 0 0 0 0 0

N.S.

1 0.98 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.389 0.093 0.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.209 2.519 0.121 0.613 0.000 0.000 0.463 1.363

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.313 0.534 0.124 0.626 0.000 0.000 0.386 1.414

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.394 0.532 0.122 0.654 0.000 0.000 0.424 1.473

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

660 660 511 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.432 1.247 0.000 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

413 413 326 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.900 0.496 0.000 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

179 171 152 0 0 0 0 0 0

N.S.

1 0.96 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.448 0.117 0.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.209 2.293 0.118 0.618 0.000 0.000 0.581 1.339

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.322 7.919 0.117 0.646 0.000 0.000 0.448 1.405

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.421 5.384 0.115 0.666 0.000 0.000 0.886 1.487

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

383 383 331 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.089 0.315 0.000 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

283 283 252 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.832 0.178 0.000 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 181 164 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.536 0.107 0.000 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.009 0.000 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 24 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.92 1.00 1.00

time (sec)

N/A 0.202 0.067 0.150 0.601 0.000 1.266 0.375 1.367

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

422 735 1281 0 0 0 0 0 0

N.S.

1 1.74 3.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.829 1.696 0.000 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

325 533 828 0 0 0 0 0 0

N.S.

1 1.64 2.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.286 0.696 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 318 338 0 0 0 0 0 0

N.S.

1 1.45 1.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.001 0.492 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 114 139 0 0 0 0 0 0

N.S.

1 0.98 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.358 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 24 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.92 1.00 1.00

time (sec)

N/A 0.209 0.205 0.124 0.620 0.000 5.792 0.459 1.539

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

520 1341 1523 0 0 0 0 0 0

N.S.

1 2.58 2.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.009 6.118 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

421 924 527 0 0 0 0 0 0

N.S.

1 2.19 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.598 2.637 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

311 501 353 0 0 0 0 0 0

N.S.

1 1.61 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.740 1.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 158 163 0 0 0 0 0 0

N.S.

1 1.01 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.431 0.120 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.210 0.416 0.145 0.635 0.000 0.000 0.577 1.691

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 161 137 0 0 538 0 0 0

N.S.

1 0.99 0.84 0.00 0.00 3.30 0.00 0.00 0.00

time (sec)

N/A 0.298 0.144 0.000 0.000 0.328 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 132 118 0 0 311 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 2.36 0.00 0.00 0.00

time (sec)

N/A 0.262 0.090 0.000 0.000 0.341 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 99 83 113 0 185 0 110 0

N.S.

1 1.02 0.86 1.16 0.00 1.91 0.00 1.13 0.00

time (sec)

N/A 0.237 0.056 0.862 0.000 0.318 0.000 0.319 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 80 0 0 224 0 101 0

N.S.

1 1.00 0.99 0.00 0.00 2.77 0.00 1.25 0.00

time (sec)

N/A 0.221 0.110 0.000 0.000 0.326 0.000 0.334 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 110 85 0 0 425 0 164 0

N.S.

1 0.96 0.75 0.00 0.00 3.73 0.00 1.44 0.00

time (sec)

N/A 0.244 0.031 0.000 0.000 0.357 0.000 0.331 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 146 78 0 0 789 0 0 0

N.S.

1 1.01 0.54 0.00 0.00 5.44 0.00 0.00 0.00

time (sec)

N/A 0.264 0.033 0.000 0.000 0.362 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

176 182 78 0 0 1252 0 0 0

N.S.

1 1.03 0.44 0.00 0.00 7.11 0.00 0.00 0.00

time (sec)

N/A 0.285 0.035 0.000 0.000 0.432 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

590 1007 854 0 0 0 0 0 0

N.S.

1 1.71 1.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.348 1.213 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

510 763 680 0 0 0 0 0 0

N.S.

1 1.50 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.148 0.756 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

418 553 566 0 0 0 0 0 0

N.S.

1 1.32 1.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.086 0.687 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

312 389 424 0 0 0 0 0 0

N.S.

1 1.25 1.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.370 0.422 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

423 529 557 0 0 0 0 0 0

N.S.

1 1.25 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.130 0.792 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

503 709 639 0 0 0 0 0 0

N.S.

1 1.41 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.136 1.216 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

583 940 728 0 0 0 0 0 0

N.S.

1 1.61 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.248 2.215 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 204 26 22 26 26

N.S.

1 1.00 1.08 0.92 7.85 1.00 0.85 1.00 1.00

time (sec)

N/A 0.198 0.439 0.158 0.315 0.291 21.145 0.375 1.223

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 174 26 22 26 26

N.S.

1 1.00 1.08 0.92 6.69 1.00 0.85 1.00 1.00

time (sec)

N/A 0.185 0.126 0.151 0.311 0.271 0.700 0.329 1.258

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 174 39 24 26 26

N.S.

1 1.00 1.08 0.92 6.69 1.50 0.92 1.00 1.00

time (sec)

N/A 0.193 0.434 0.129 0.314 0.294 1.845 0.394 1.210

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 166 63 24 26 26

N.S.

1 1.00 1.08 0.92 6.38 2.42 0.92 1.00 1.00

time (sec)

N/A 0.197 0.715 0.119 0.317 0.296 7.008 0.383 1.336

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 26 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.93 0.93 0.93

time (sec)

N/A 0.447 0.867 0.144 0.649 0.000 2.660 0.727 1.349

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 26 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.93 0.93 0.93

time (sec)

N/A 0.444 0.881 0.147 0.656 0.000 1.236 1.638 1.342

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 26 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.93 0.93 0.93

time (sec)

N/A 0.451 1.492 0.122 0.692 0.000 9.710 1.013 1.358

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 26 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.93 0.93 0.93

time (sec)

N/A 0.211 3.035 0.123 0.648 0.000 0.979 0.344 1.340

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 27 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.96 0.93 0.93

time (sec)

N/A 0.211 0.145 0.122 0.652 0.000 2.830 0.370 1.366

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 24 26 0 27 26 26

N.S.

1 1.00 1.07 0.86 0.93 0.00 0.96 0.93 0.93

time (sec)

N/A 0.213 0.074 0.122 0.666 0.000 26.944 0.434 1.485

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 81 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 20 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.83 1.08 1.08

time (sec)

N/A 0.188 0.208 0.121 0.291 0.308 31.020 0.339 1.204

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 131 46 0 26 26

N.S.

1 1.00 1.08 1.00 5.46 1.92 0.00 1.08 1.08

time (sec)

N/A 0.190 5.811 0.006 0.313 0.302 0.000 0.416 1.307

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 48 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 1.85 0.00 1.00 1.00

time (sec)

N/A 0.212 9.498 0.148 0.672 0.302 0.000 1.856 1.409

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 26 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.209 0.047 0.129 0.659 0.307 0.000 0.780 1.314

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 26 24 26 26

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 1.00 1.00

time (sec)

N/A 0.205 7.629 0.125 0.630 0.315 4.596 0.387 1.353

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 62 0 26 26

N.S.

1 1.00 1.08 0.92 1.00 2.38 0.00 1.00 1.00

time (sec)

N/A 0.208 8.524 0.127 0.655 0.363 0.000 0.447 1.628

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-2) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 0 26 0 0 26

N.S.

1 1.00 1.08 1.00 0.00 1.08 0.00 0.00 1.08

time (sec)

N/A 0.184 0.256 0.151 0.000 0.343 0.000 0.000 1.285

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

474 474 343 0 0 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.999 0.991 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

348 348 262 0 0 0 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.749 0.244 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

225 225 181 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.502 0.093 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 103 103 0 0 60 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.256 0.043 0.000 0.000 0.105 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 0 26 20 26 26

N.S.

1 1.00 1.08 1.00 0.00 1.08 0.83 1.08 1.08

time (sec)

N/A 0.182 0.147 0.127 0.000 0.285 1.873 0.435 1.284

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 265 589 554 757 478 682 572 661

N.S.

1 0.84 1.87 1.76 2.40 1.52 2.17 1.82 2.10

time (sec)

N/A 0.494 0.338 0.895 0.229 0.281 0.844 0.508 1.627

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 207 375 356 539 308 427 369 393

N.S.

1 0.85 1.54 1.46 2.21 1.26 1.75 1.51 1.61

time (sec)

N/A 0.462 0.194 0.649 0.233 0.276 0.589 0.307 1.543

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 141 214 202 351 170 226 209 208

N.S.

1 0.90 1.36 1.29 2.24 1.08 1.44 1.33 1.32

time (sec)

N/A 0.409 0.102 0.648 0.227 0.303 0.402 0.313 1.430

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 70 66 92 201 71 85 92 100

N.S.

1 0.89 0.84 1.16 2.54 0.90 1.08 1.16 1.27

time (sec)

N/A 0.332 0.038 0.566 0.233 0.301 0.217 0.298 1.746

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 35 101 34 31 35 31

N.S.

1 1.00 1.00 1.30 3.74 1.26 1.15 1.30 1.15

time (sec)

N/A 0.209 0.004 0.504 0.213 0.298 0.067 0.306 1.413

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 85 91 177 0 0 0 0 0

N.S.

1 0.98 1.05 2.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.381 0.047 0.968 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 189 141 317 0 0 0 0 0

N.S.

1 1.25 0.93 2.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.641 0.104 1.072 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 335 226 510 0 0 0 0 0

N.S.

1 1.34 0.90 2.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.075 0.151 1.198 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

579 838 374 1135 1427 939 1479 1213 1346

N.S.

1 1.45 0.65 1.96 2.46 1.62 2.55 2.09 2.32

time (sec)

N/A 2.838 0.367 0.918 0.266 0.303 1.884 0.327 2.070

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

464 521 267 721 964 606 918 769 803

N.S.

1 1.12 0.58 1.55 2.08 1.31 1.98 1.66 1.73

time (sec)

N/A 1.685 0.208 0.679 0.275 0.298 1.100 0.309 1.826

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 262 171 397 586 336 473 420 408

N.S.

1 1.10 0.72 1.67 2.46 1.41 1.99 1.76 1.71

time (sec)

N/A 0.872 0.108 0.659 0.245 0.284 0.602 0.316 1.642

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 94 89 176 304 141 175 178 163

N.S.

1 0.83 0.79 1.56 2.69 1.25 1.55 1.58 1.44

time (sec)

N/A 0.435 0.043 0.575 0.228 0.279 0.338 0.315 1.503

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 54 128 53 51 59 50

N.S.

1 1.00 1.00 2.00 4.74 1.96 1.89 2.19 1.85

time (sec)

N/A 0.225 0.005 0.503 0.222 0.266 0.092 0.384 1.637

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 126 189 334 331 0 0 0 0

N.S.

1 0.89 1.33 2.35 2.33 0.00 0.00 0.00 0.00

time (sec)

N/A 0.578 0.172 0.942 0.267 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

273 275 360 0 622 0 0 0 0

N.S.

1 1.01 1.32 0.00 2.28 0.00 0.00 0.00 0.00

time (sec)

N/A 1.226 0.397 0.000 0.295 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

485 530 664 0 1271 0 0 0 0

N.S.

1 1.09 1.37 0.00 2.62 0.00 0.00 0.00 0.00

time (sec)

N/A 2.308 0.680 0.000 0.381 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B F A F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

230 207 0 567 0 401 0 0 0

N.S.

1 0.90 0.00 2.47 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.719 0.000 3.017 0.000 0.296 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B F A F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

177 160 0 361 0 260 0 0 0

N.S.

1 0.90 0.00 2.04 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.606 0.000 2.457 0.000 0.305 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 113 112 200 0 149 0 0 0

N.S.

1 0.91 0.90 1.61 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.512 0.238 2.124 0.000 0.313 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 66 69 88 0 70 0 0 0

N.S.

1 0.93 0.97 1.24 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.383 0.112 1.548 0.000 0.300 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 24 29 24 17 24 23

N.S.

1 1.00 1.00 1.04 1.26 1.04 0.74 1.04 1.00

time (sec)

N/A 0.223 0.038 0.524 0.458 0.290 0.087 0.309 2.048

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 68 99 34 34

N.S.

1 1.00 1.06 1.00 1.06 2.12 3.09 1.06 1.06

time (sec)

N/A 0.406 0.126 0.822 0.254 0.276 2.611 0.368 1.330

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 122 180 34 34

N.S.

1 1.00 1.06 1.00 1.06 3.81 5.62 1.06 1.06

time (sec)

N/A 0.472 0.160 0.618 0.248 0.282 4.979 0.370 1.493

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

485 969 818 0 0 0 0 0 0

N.S.

1 2.00 1.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.000 0.723 0.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

417 725 644 0 0 0 0 0 0

N.S.

1 1.74 1.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.836 0.423 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

349 519 534 0 0 0 0 0 0

N.S.

1 1.49 1.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.872 0.332 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]